22.17/22.26	unsat
