5.95/6.65	unsat
