46.78/49.25	unsat
