15.65/19.64	unsat
