10.02/10.50	unsat
