16.76/19.42	unsat
