5.65/5.85	unsat
