13.70/14.17	unsat
