1.39/2.09	unsat
