10.35/10.50	unsat
