6.87/6.95	unsat
