1.39/2.17	unsat
