20.22/22.17	unsat
