6.95/6.98	unsat
