0.17/0.20	unsat
