10.46/10.50	unsat
