24.62/24.74	unsat
