12.47/13.17	unsat
