1.39/3.78	unsat
