16.47/19.65	unsat
