1.39/4.09	unsat
