1.97/2.17	unsat
