16.76/19.68	unsat
