24.96/25.04	unsat
