0.07/0.16	unsat
