16.80/19.16	unsat
