22.30/24.16	unsat
