0.06/0.09	unsat
