24.88/25.32	unsat
