46.65/48.82	unsat
