6.59/7.65	unsat
