46.65/46.84	unsat
