46.65/49.03	unsat
