0.06/0.17	unsat
