1.39/4.26	unsat
