15.47/19.80	unsat
