7.28/7.65	unsat
