22.26/24.13	unsat
