24.29/24.78	unsat
