24.19/24.25	unsat
