24.49/24.59	unsat
