6.40/6.95	unsat
