13.17/13.23	unsat
