22.93/24.35	unsat
