9.97/10.50	unsat
