83.65/84.27	unsat
