24.04/24.17	unsat
