48.39/49.26	unsat
