24.11/24.28	unsat
