10.08/10.50	unsat
