24.49/25.47	unsat
