16.65/19.02	unsat
