6.59/6.95	unsat
