4.88/7.65	unsat
