24.63/24.78	unsat
