24.59/24.81	unsat
