14.47/19.07	unsat
