7.28/7.78	unsat
