10.45/10.50	unsat
