24.25/25.52	unsat
