1.39/7.81	unsat
