1.39/4.17	unsat
