17.17/20.22	unsat
