16.76/19.16	unsat
