6.40/6.65	unsat
