10.49/10.52	unsat
