95.65/96.97	unsat
