24.96/25.01	unsat
