192.54/302.09	unsat
