24.03/24.17	unsat
