24.86/25.32	unsat
