0.06/0.16	unsat
