12.03/12.50	unsat
