22.32/24.31	unsat
