24.04/24.81	unsat
