1.39/4.81	unsat
