1.39/3.61	unsat
