13.17/13.22	unsat
