6.78/8.98	unsat
