22.32/24.11	unsat
