7.20/7.78	unsat
