24.85/24.99	unsat
