13.17/13.20	unsat
