13.52/17.17	unsat
