12.47/14.10	unsat
