49.39/49.59	unsat
