5.61/6.65	unsat
