6.93/9.50	unsat
