0.17/0.22	unsat
