8.98/10.50	unsat
