15.65/15.75	unsat
