1.39/6.09	unsat
