12.37/13.17	unsat
