12.47/17.19	unsat
