22.25/24.35	unsat
