24.76/24.88	unsat
