12.47/14.17	unsat
