16.65/18.15	unsat
