54.65/80.66	unsat
