46.65/47.46	unsat
