22.25/24.20	unsat
