24.10/24.21	unsat
