77.65/81.86	unsat
