13.17/15.20	unsat
