6.59/6.65	unsat
