24.62/24.73	unsat
