6.92/6.98	unsat
