(define (problem flp1)(:domain flp)(:objects driving walking - modeoftransportation bluetoothkeyboard tissues - object andrewdougherty meredithmcghan - person auroraillinois flintmichigan - physicallocation townhomeofeleanorandandrewandmeredith - residence bluetoothkeyboard - tool andrewdoughertyshypotheticalcar meredithmcghanscar - vehicle)(:init (autonomous andrewdougherty)(autonomous meredithmcghan)(location andrewdougherty townhomeofeleanorandandrewandmeredith)(location andrewdoughertyshypotheticalcar auroraillinois)(location bluetoothkeyboard townhomeofeleanorandandrewandmeredith)(location meredithmcghan flintmichigan)(location meredithmcghanscar flintmichigan)(mobile andrewdoughertyshypotheticalcar)(mobile bluetoothkeyboard)(mobile meredithmcghanscar)(travel-path driving auroraillinois townhomeofeleanorandandrewandmeredith)(travel-path driving flintmichigan auroraillinois)(= (travel-distance driving auroraillinois townhomeofeleanorandandrewandmeredith) 5)(= (travel-distance driving flintmichigan auroraillinois) 500)(= (travel-duration driving auroraillinois townhomeofeleanorandandrewandmeredith) 0.15)(= (travel-duration driving flintmichigan auroraillinois) 7) )(:goal (and (directly-holding andrewdougherty bluetoothkeyboard) ) )(:metric minimize (total-time) ) )