22.17/22.22	unsat
