3.65/3.70	unsat
