5.95/7.65	unsat
