9.79/12.52	unsat
