1.57/2.17	unsat
