0.12/0.17	unsat
