48.65/50.16	unsat
